Parametric polymorphism - PDFSEARCH.IO - Document Search Engine

Parametric polymorphism
Results: 44

#	Item
31	Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Sakyo-ku, Kyoto[removed]removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Type theory Parametric polymorphism Standard ML Type system Type inference ML Polymorphism Hindley–Milner Valuation Software engineering Programming language theory Computing
32	Information and Computation 155, [removed]Article ID inco[removed], available online at http://www.idealibrary.com Semi-Explicit First-Class Polymorphism for ML Jacques Garrigue Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Computing Type inference Type system ML Parametric polymorphism Hindley–Milner System F Polymorphism Type safety Type theory Software engineering Programming language theory
33	1 Computing Surveys, Vol 17 n. 4, pp[removed], December 1985 On Understanding Types, Data Abstraction, and Polymorphism Luca Cardelli Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 09:17:29 Programming language theory Data types Polymorphism Object-oriented programming Functional programming Subtype polymorphism Parametric polymorphism Ad-hoc polymorphism Type system Software engineering Type theory Computing
34	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Type theory Object-oriented programming Data types Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Theoretical computer science Software engineering Mathematics
35	Copyright © Prolog Development Center page 1 VIP-ALC ‘06 Visual Prolog Applications & Language Conference Add to Reading List Source URL: www.visual-prolog.com Language: English - Date: 2014-03-30 10:56:24 Type theory Object-oriented programming Polymorphism Borland software Debuggers Visual Prolog Prolog Parametric polymorphism Logic programming Software engineering Computing Computer programming
36	Let Should Not Be Generalised Dimitrios Vytiniotis Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-12 10:54:14 Computing Type class Type inference Type system Hindley–Milner Generalized algebraic data type Kind Parametric polymorphism Constraint Type theory Software engineering Programming language theory
37	Typeful Programming Luca Cardelli Digital Equipment Corporation, Systems Research Center Add to Reading List Source URL: www.lucacardelli.name Language: English - Date: 2007-10-27 12:43:49 Programming language theory Subtype polymorphism Type system Polymorphism Strong typing Type safety Parametric polymorphism Data type System F Type theory Software engineering Computing
38	Categorical and domain theoretic models of parametric polymorphism Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:07 Programming language theory Polymorphism Parametric polymorphism Parametricity Ad-hoc polymorphism System F ML Type system Function type Software engineering Type theory Computing
39	On Variance-Based Subtyping for Parametric Types Atsushi Igarashi1 and Mirko Viroli2 Add to Reading List Source URL: www.sato.kuis.kyoto-u.ac.jp Language: English - Date: 2003-01-07 03:41:10 Object-oriented programming Polymorphism Computing Data types Covariance and contravariance Subtype polymorphism Euclidean vector Generic programming Bounded quantification Software engineering Type theory Algebra
40	Type Classes and Instance Chains: A Relational Approach Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-10-18 06:05:19 Computing Type system Ad-hoc polymorphism Polymorphism Parametric polymorphism Type inference Subtype polymorphism System F ML Type theory Software engineering Programming language theory

UPDATE